221. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
Author: Oninda, Mohammad Abdul Moin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Electrical engineering
222. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
Author: Oninda, Mohammad Abdul Moin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Electrical engineering
223. Facebook Nation: Total Information Awareness
Author: / Newton Lee
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
224. Force.com Developer Certification Handbook (DEV401)
Author: / Kabe, Siddhesh
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
225. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
226. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
227. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
228. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
229. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
230. Formal methods: foundations and applications :
Author: Juliano Iyoda, Leonardo de Moura (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2013
231. Fortran 2018 with parallel programming /
Author: Subrata Ray
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
Classification :
QA76
.
73
.
F25
R39
2020eb
232. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
233. From Idea to App: Creating IOS UI, Animations, and Gestures
Author: / Shawn Welch
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
234. From Object Modelling to Advanced Visual Communication
Author: edited by Sabine Coquillart, Wolfgang Stra€er, Peter Stucki.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Software engineering.
Classification :
T385
.
E358
1994
235. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
236. Fundamentals of Robotics Engineering
Author: by Harry H. Poole.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
237. Fundamentals of grid computing: theory, algorithms and technologies
Author: / F Magoules
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
238. Fuzzy logic for embedded systems applications /
Author: by Ahmad M. Ibrahim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems-- Design and construction.,Fuzzy logic.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems-- Design and construction.,Fuzzy logic.
Classification :
TK7895
.
E42
I32
2004eb
239. Getting Started with Arduino
Author: / Massimo Banzi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
240. Getting Started with Netduino
Author: / Chris Walker
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
